翻訳と辞書 Words near each other ・ Boundary-value analysis ・ Boundary-Waneta Border Crossing ・ Boundary-work ・ Boundaryless organization ・ Bounded Choice ・ Bounded complete poset ・ Bounded deformation ・ Bounded emotionality ・ Bounded expansion ・ Bounded function ・ Bounded growth ・ Bounded inverse theorem ・ Bounded mean oscillation ・ Bounded operator ・ Bounded pointer ・ Bounded quantification ・ Bounded quantifier ・ Bounded rationality ・ Bounded Retransmission Protocol ・ Bounded set ・ Bounded set (topological vector space) ・ Bounded Type ・ Bounded type (mathematics) ・ Bounded variation ・ Bounded weak echo region ・ Boundedly generated group ・ Boundedness ・ Boundedness (linguistics) ・ Bounden (video game) ・ Bounder Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Bounded quantification ： ウィキペディア英語版 Bounded quantification In type theory, bounded quantification (also bounded polymorphism or constrained genericity) refers to universal or existential quantifiers which are restricted ("bounded") to range only over the subtypes of a particular type. Bounded quantification is an interaction of parametric polymorphism with subtyping. Bounded quantification has traditionally been studied in the functional setting of System F<:, but is available in modern object-oriented languages supporting parametric polymorphism (generics) such as Java, C# and Scala. == Example == In the following Java sample the type parameter T is bounded to range only over I and its subclasses: class I class A 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Bounded quantification」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.